Simulation Verification in Practice
نویسندگان
چکیده
Abstract With the increased use of simulations as investigative tools in various scientific fields, question naturally arises to how these are epistemically justified. One natural approach is insist that numerical aspects simulation justification be performed separately from physical aspects, but Winsberg (2010) has argued this impossible for highly complex simulations. Based on a survey and close examination range astrophysical MHD codes their attendant literature, I argue insisting strict separation neither necessary nor advisable.
منابع مشابه
Quantitative Verification in Practice
Soon after the birth of model checking, the first theoretical achievements have been reported on the automated verification of quantitative system aspects such as discrete probabilities and continuous time. These theories have been extended in various dimensions, such as continuous probabilities, cost constraints, discounting, hybrid phenomena, and combinations thereof. Due to unremitting impro...
متن کاملUML/OCL Verification In Practice
In the MDD approaches, models become the primary artifact of the development process and the basis for code generation. Identifying defects early, at the model-level, can help to reduce development costs and improve software quality. There is an emerging need for verification techniques usable in practice, i.e. able to find and notify defects in real-life models without requiring a strong verif...
متن کاملPerceptual simulation in property verification.
If people represent concepts with perceptual simulations, two predictions follow in the property verification task (e.g., Is face a property of GORILLA?). First, perceptual variables such as property size should predict the performance of neutral subjects, because these variables determine the ease of processing properties in perceptual simulations (i.e., perceptual effort). Second, uninstructe...
متن کاملSimulation and Verification of
In this paper, we suggest a coupling of the description model of an embedded real-time multitasking application with a timed automata based model. The coupling purposes consists of providing the description model with operational semantic which uses communication channels and waiting point notions. In order to allow static verification of such kind of applications, we simulate its dynamic behav...
متن کاملVerification Using Simulation
Verification and simulation have always been complementary, if not competing, approaches to system design. In this paper, we present a novel method for so-called metric transition systems that bridges the gap between verification and simulation, enabling system verification using a finite number of simulations. The existence of metrics on the system state and observation spaces, which is natura...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese Library
سال: 2023
ISSN: ['0166-6991', '2542-8292']
DOI: https://doi.org/10.1007/978-3-031-26618-8_9